Can Integrity Tolerate Inconsistency?
نویسندگان
چکیده
An unconditional and hitherto unquestioned basic requirement for integrity checking is that the data need to be consistent before the update, such that the success of a simplified test can guarantee the invariance of integrity after the update. We answer the question whether this consistency requirement can be relaxed with ”Yes, at least sometimes, and to some extent.”
منابع مشابه
A Relaxed Approach to Integrity and Inconsistency in Databases
We demonstrate that many, though not all integrity checking methods are able to tolerate inconsistency, without having been aware of it. We show that it is possible to use them to beneficial effect and without further ado, not only for preserving integrity in consistent databases, but also in databases that violate their constraints. This apparently relaxed attitude toward integrity and inconsi...
متن کاملParaconsistency in the semantics of integrity constraints
Deductive databases are paraconsistent theory systems which change over time. They do not support the inference of arbitrary consequences from inconsistent components, such as contradictory definitions of database relations (predicates) or violated integrity constraints. Moreover, computed answers in deductive databases typically make sense, almost no matter to which degree consistency or integ...
متن کاملthe LMU München, where this paper was written. A preliminary version was
Deductive databases are paraconsistent theory systems which change over time. They do not support the inference of arbitrary consequences from inconsistent components, such as contradictory definitions of database relations (predicates) or violated integrity constraints. Moreover, computed answers in deductive databases typically make sense, almost no matter to which degree consistency or integ...
متن کاملAsynchronous Consistency
Many database applications tolerate a certain amount of data inconsistency to gain increased concurrent processing and to accommodate real-world constraints. This paper describes how inconsistency can be modeled in a database and managed with consistency restoration methods. The correctness criterion for the maintenance of inconsistency is epsilon serializability (ESR). An informal notation to ...
متن کاملAsynchronous Consistency Restorationunder Epsilon
Many database applications tolerate a certain amount of data inconsistency to gain increased concurrent processing and to accommodate real-world constraints. This paper describes how inconsistency can be modeled in a database and managed with consistency restoration methods. The correctness criterion for the maintenance of inconsistency is epsilon serializability (ESR). An informal notation to ...
متن کامل